On ALSV Rules Formulation and Inference
نویسندگان
چکیده
In this paper knowledge representation and inference issues for rule-based systems are discussed. The paper deals with improving the logical calculus of Set Attributive Logic founding an expressive rule language XTT. Representation extensions are introduced, and practical inference rules provided. The original includes an extended state specification, as well as interpreter design. Examples of rule analysis are given. Visual design tool HQed assuring rule quality is also presented.
منابع مشابه
XTT+ Rule Design Using the ALSV(FD)
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressive power of simple attributive languages so that it becomes satisfactory for complex applications, including the business rules support. A formal framework of extended Attributive Logic with Set Values over Finite Dom...
متن کاملThe HeKatE methodology. Hybrid engineering of intelligent systems
This paper describes a new approach, the HeKatE methodology, to the design and development of complex rule-based systems for control and decision support. The main paradigm for rule representation, namely, eXtended Tabular Trees (XTT), ensures high density and transparency of visual knowledge representation. Contrary to traditional, flat rule-based systems, the XTT approach is focused on groups...
متن کاملA soluble form of a receptor for subgroup A avian leukosis and sarcoma viruses (ALSV-A) blocks infection and binds directly to ALSV-A.
A receptor that confers susceptibility to infection by subgroup A avian leukosis and sarcoma viruses (ALSV-A) has been described (P. Bates, J. A. T. Young, and H. E. Varmus, Cell 74:1043-1051, 1993). A soluble form of the receptor was generated to determine whether this protein interacts directly with virus particles in the absence of other cell surface factors. The soluble protein comprised th...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملAnalysis of the spatial distribution of identical and two distinct virus populations differently labeled with cyan and yellow fluorescent proteins in coinfected plants.
ABSTRACT Apple latent spherical virus (ALSV) expressing yellow and cyan fluorescent proteins (ALSV-YFP and ALSV-CFP) was used to investigate the distribution of identical virus populations in coinfected plants. In Chenopodium quinoa plants inoculated with a mixture of ALSV-YFP and ALSV-CFP, fluorescence from YFP and CFP was always distributed separately in both inoculated and upper uninoculated...
متن کامل